21![seL4 Present and Future @GernotHeiser & Team NICTA and UNSW Australia
What is seL4? seL4: The latest (and most advanced) member of the L4 seL4 Present and Future @GernotHeiser & Team NICTA and UNSW Australia
What is seL4? seL4: The latest (and most advanced) member of the L4](https://www.pdfsearch.io/img/a3954015715680d9f275e47156953d2f.jpg) | Add to Reading ListSource URL: fosdem.orgLanguage: English - Date: 2015-02-09 17:13:42
|
---|
22![Inside L4/MIPS Anatomy of a High-Performance Microkernel Gernot Heiser Version[removed]syscalls+scheduling) of January 30, [removed]removed] Inside L4/MIPS Anatomy of a High-Performance Microkernel Gernot Heiser Version[removed]syscalls+scheduling) of January 30, [removed]removed]](https://www.pdfsearch.io/img/85ff88cf28ec88ce8b5c80e2e15a0660.jpg) | Add to Reading ListSource URL: www.cse.unsw.edu.auLanguage: English - Date: 2001-03-05 23:47:41
|
---|
23![Trustworthy Embedded Systems http://www.ertos.nicta.com.au/ seL4 Reference Manual For v3 development branch API version 1.2(r2) Trustworthy Embedded Systems http://www.ertos.nicta.com.au/ seL4 Reference Manual For v3 development branch API version 1.2(r2)](https://www.pdfsearch.io/img/7e2a308b79cf02bf7b3699f8bd7c3d47.jpg) | Add to Reading ListSource URL: www.cse.unsw.edu.auLanguage: English - Date: 2014-07-29 08:23:40
|
---|
24![Operating Systems @ UNSW Introduction COMP3231[removed] Operating Systems @ UNSW Introduction COMP3231[removed]](https://www.pdfsearch.io/img/d7ff0690c035ca42c21ccaccb145cb30.jpg) | Add to Reading ListSource URL: cgi.cse.unsw.edu.auLanguage: English - Date: 2015-03-03 15:44:05
|
---|
25![ISSUE 32 | DECEMBER[removed]INSIDE ICT improves cancer treatment ATSE Fellowships ISSUE 32 | DECEMBER[removed]INSIDE ICT improves cancer treatment ATSE Fellowships](https://www.pdfsearch.io/img/3ed34ca3c566950897c0f4a906b71f52.jpg) | Add to Reading ListSource URL: www.nicta.com.auLanguage: English - Date: 2015-02-08 20:31:46
|
---|
26![ISSUE 31 | SEPTEMBER[removed]INSIDE First implant of ‘pre-bionic eye’ New investment ISSUE 31 | SEPTEMBER[removed]INSIDE First implant of ‘pre-bionic eye’ New investment](https://www.pdfsearch.io/img/b12a9a7d9946a4b727349580605aae1f.jpg) | Add to Reading ListSource URL: www.nicta.com.auLanguage: English - Date: 2015-02-08 20:31:52
|
---|
27![ISSUE 34 | JUNE[removed]INSIDE Come in Spin-out! Machine learning a natural fit ISSUE 34 | JUNE[removed]INSIDE Come in Spin-out! Machine learning a natural fit](https://www.pdfsearch.io/img/b30fba8ec676d73aad5cee0bee0684ce.jpg) | Add to Reading ListSource URL: www.nicta.com.auLanguage: English - Date: 2015-02-08 20:31:54
|
---|
28![ISSUE 16 December[removed]www.nicta.com.au NICTA strengthens international collaboration ISSUE 16 December[removed]www.nicta.com.au NICTA strengthens international collaboration](https://www.pdfsearch.io/img/a230934f4e3c8306fe5d2be0cd16bff9.jpg) | Add to Reading ListSource URL: www.nicta.com.auLanguage: English - Date: 2015-02-08 20:31:42
|
---|
29![Introduction COMP9242 2008/S2 Week 1 Part 1 ©2008 Gernot Heiser UNSW/NICTA/OKL. Distributed under Creative Commons Attribution License Introduction COMP9242 2008/S2 Week 1 Part 1 ©2008 Gernot Heiser UNSW/NICTA/OKL. Distributed under Creative Commons Attribution License](https://www.pdfsearch.io/img/9c85bf1a2153ba3735c98d30ed457874.jpg) | Add to Reading ListSource URL: www.ok-labs.comLanguage: English - Date: 2009-10-01 17:42:24
|
---|
30![Introduction COMP9242 2008/S2 Week 1 Part 2 ©2008 Gernot Heiser UNSW/NICTA/OKL. Distributed under Creative Commons Attribution License Introduction COMP9242 2008/S2 Week 1 Part 2 ©2008 Gernot Heiser UNSW/NICTA/OKL. Distributed under Creative Commons Attribution License](https://www.pdfsearch.io/img/e9d5ebfa236d9a3ccb2122ef1be36917.jpg) | Add to Reading ListSource URL: www.ok-labs.comLanguage: English - Date: 2009-10-01 17:42:24
|
---|